Berkeley DB - PDFSEARCH.IO - Document Search Engine

Berkeley DB
Results: 158

#	Item
21	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
22	Semantic Conditions for Correctness at Different Isolation Levels Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2014-09-12 20:26:42 Information Concurrency control Databases Isolation Snapshot isolation Serializability Schedule Database transaction Multiversion concurrency control Transaction processing Data management Data
23	mod_perl and dbm files 1 mod_perl and dbm files 1 mod_perl and dbm files Add to Reading List Source URL: perl.apache.org Language: English - Date: 2014-02-15 20:41:37 Concurrency control Structured storage Dbm C POSIX library File locking Transaction processing Lock Berkeley DB Linearizability Software Data management Computing
24	Perl versiondocumentation - DBM_Filter NAME DBM_Filter -- Filter DBM keys/values SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 16:13:32 Structured storage Perl Dbm Berkeley DB Perl module Ndbm Hash function Filter Electronic filter Computing Software engineering Software
25	LDAP Servers and Applications Brad Marshall SAGE-AU Conf 2006 – p. 1 Add to Reading List Source URL: quark.humbug.org.au Language: English - Date: 2010-07-08 02:58:40 System software OpenLDAP Lightweight Directory Access Protocol Slapd LDAP Data Interchange Format Berkeley DB Novell eDirectory Active Directory Virtual directory Directory services Software Computing
26	Dedalus: Datalog in Time and Space Peter Alvaro1, William R. Marczak1 , Neil Conway1 , Joseph M. Hellerstein1 , David Maier2 , and Russell Sears3 1 University of California, Berkeley {palvaro,wrm,nrc,hellerstein}@cs.berk Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-03-05 03:03:32 Science Logic programming Modal logic Predicate Stratification Logic Mathematics Datalog
27	FATE and D ESTINI: A Framework for Cloud Recovery Testing Haryadi S. Gunawi, Thanh Do† , Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau† , Remzi H. Arpaci-Dusseau† , Koushik Sen, and D Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2011-03-09 01:12:38 Concurrent computing Failure Software testing Transaction processing Two-phase commit protocol Recovery testing Replication Reliability engineering Google File System Computing Data management Fault-tolerant computer systems
28	A Declarative Semantics for Dedalus Peter Alvaro Tom J. Ameloot Joseph M. Hellerstein William Marczak Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2011-11-29 13:32:09 Computing Logic programming Philosophical logic Datalog Stable model semantics Partition FO Modal logic SQL Mathematics Query languages Logic
29	Fight with Diversity 多様性と戦う Tanaka Akira National Institute of Advanced Industrial Science and Technology (AIST) / Free Software Initiative of Japan (FSIJ) Add to Reading List Source URL: www.a-k-r.org Language: English - Date: 2013-09-29 12:00:20 Ndbm Berkeley DB Biodiversity Structured storage Data management Dbm
30	Towards Automatically Checking Thousands of Failures with Micro-specifications Haryadi S. Gunawi, Thanh Do† , Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau† , Remzi H. Arpaci-Dusseau† , and Koushik Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-09-06 14:27:59 Apache Hadoop Cloud computing Cloud infrastructure Software bug Software testing Google File System Datalog File system Reliability engineering Computing Software development Software